//----------instrument_tektronix.hh----------//
#ifndef _INSTRUMENT_TEKTRONIX_HEADER_
#define _INSTRUMENT_TEKTRONIX_HEADER_

const string specific_config_filename = "config/tektronix.conf"; //defined in each child class header
const int num_channels = 4;	//number of channels available to the instrument

class instrument_tektronix : public instrument_base
{
	public:
		void load_config(void);
		void acquire_data(void);

		class specific_config_class : public general_config_class
		{
			public:
				void load_specific_config(void); //load default instrument-specific values

				void set_MaxRunTime(int);
				int get_MaxRunTime(void);

				void set_fastframe_numframes(int);
				int get_fastframe_numframes(void);

			protected:
				int MaxRunTime; //seconds before timeout
				int fastframe_numframes; //number of frames to read before each fastframe transfer
		};
	
		specific_config_class config;

	protected:
		void initialize_device(string data_type);
    	void get_scope_parameters(void);
    	void write_header(void);
		void start_aquistion(void);
		void wait_for_return(void);
		void acquire_binary(void);
		void acquire_ascii(void);
		void restore_operation(void);

};	


#endif
//----------instrument_tektronix.hh----------//
